翻訳と辞書 Words near each other ・ Normal grey cockatiel ・ Normal Happiness ・ Normal height ・ Normal Heights, San Diego ・ Normal invariant ・ Normal Is the Watchword ・ Normal law ・ Normal lens ・ Normal Life ・ Normal Life (TV series) ・ Normal Love ・ Normal map ・ Normal mapping ・ Normal matrix ・ Normal measure ・ Normal modal logic ・ Normal mode ・ Normal morphism ・ Normal moveout ・ Normal Music ・ Normal Musical Institute ・ Normal number ・ Normal number (computing) ・ Normal operator ・ Normal order ・ Normal order (disambiguation) ・ Normal order of an arithmetic function ・ Normal p-complement ・ Normal Park ・ Normal Park branch (CTA) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Normal modal logic ： ウィキペディア英語版 Normal modal logic In logic, a normal modal logic is a set ''L'' of modal formulas such that ''L'' contains: * All propositional tautologies; * All instances of the Kripke schema: $\backslash Box(A\backslash to\; B)\backslash to(\backslash Box\; A\backslash to\backslash Box\; B)$ and it is closed under: * Detachment rule (Modus Ponens): $A\backslash to\; B,\; A\; \backslash vdash\; B$; * Necessitation rule: $\backslash vdash\; A$ implies $\backslash vdash\backslash Box\; A$. The smallest logic satisfying the above conditions is called K. Most modal logics commonly used nowadays (in terms of having philosophical motivations), e.g. C. I. Lewis's S4 and S5, are extensions of K. However a number of deontic and epistemic logics, for example, are non-normal, often because they give up the Kripke schema. == Common normal modal logics == The following table lists several common normal modal systems. The notation refers to the table at Kripke semantics § Common modal axiom schemata. Frame conditions for some of the systems were simplified: the logics are ''complete'' with respect to the frame classes given in the table, but they may ''correspond'' to a larger class of frames. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Normal modal logic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.